Peano–Russell notation